The Solution of SAT Problems Using Ternary Vectors and Parallel Processing
نویسندگان
چکیده
منابع مشابه
The Solution of SAT Problems Using Ternary Vectors and Parallel Processing
This paper will show a new approach to the solution of SAT-problems. It has been based on the isomorphism between the Boolean algebras of finite sets and the Boolean algebras of logic functions depending on a finite number of binary variables. Ternary vectors are the main data structure representing sets of Boolean vectors. The respective set operations (mainly the complement and the intersecti...
متن کاملThe Solution of Discrete Constraint Problems using Boolean Models - The Use of Ternary Vectors for Parallel SAT-Solving
The use of Boolean models for discrete constraint problems has been tried at several occasions, it was, however, not recognized as efficient (Rossi et al., 2006). The solution methods were dominated by using decision trees together with depth-first or breadth-first search and/or resolution algorithms. In this paper we will show the use of ternary vectors for the solution of SAT-problems and all...
متن کاملexistence and approximate $l^{p}$ and continuous solution of nonlinear integral equations of the hammerstein and volterra types
بسیاری از پدیده ها در جهان ما اساساً غیرخطی هستند، و توسط معادلات غیرخطی بیان شده اند. از آنجا که ظهور کامپیوترهای رقمی با عملکرد بالا، حل مسایل خطی را آسان تر می کند. با این حال، به طور کلی به دست آوردن جوابهای دقیق از مسایل غیرخطی دشوار است. روش عددی، به طور کلی محاسبه پیچیده مسایل غیرخطی را اداره می کند. با این حال، دادن نقاط به یک منحنی و به دست آوردن منحنی کامل که اغلب پرهزینه و ...
15 صفحه اولon the relationship between using discourse markers and the quality of expository and argumentative academic writing of iranian english majors
the aim of the present study was to investigate the frequency and the type of discourse markers used in the argumentative and expository writings of iranian efl learners and the differences between these text features in the two essay genres. the study also aimed at examining the influence of the use of discourse markers on the participants’ writing quality. to this end the discourse markers us...
15 صفحه اولproblems and strategies of translating persian lexical collocations into english: the case of noun-verb and noun-adjective collocations
در محیط های دانشگاهی ایران ، آموزش ترجمه واژگان هم آیند که به منزله امری لاینفک برای دانش جویان رشته مترجمی زبان می باشد، تا حدود زیادی نادیده گرفته شده است . این واقعیت باعث شده است تا دانش جویان رشته مترجمی زبان در ترجمه ی واژگان هم آیند اشتباهات بسیاری مرتکب شوند. این پژوهش توجه ویژه ای به ترجمه واژگان هم آیند داشته است. برای مشخص نمودن مشکلات و استراتژی های مورد استفاده ی دانش جویان در ترجم...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Electronics and Telecommunications
سال: 2011
ISSN: 0867-6747
DOI: 10.2478/v10177-011-0032-9